Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
61	Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2013-03-28 13:13:45 Computational linguistics Grammar Semantics Formal languages Natural language parsing Dependency grammar Parsing Argument Natural language processing Semantic role labeling Word-sense disambiguation Free variables and bound variables
62	For the SJC Keith Douglas Words of Power, Words of Precision Introduction Gloria was commenting on my earlier work and remarked that certain people avoid the use of certain words because of their use by people wh Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-10-01 17:12:31 Definition Lexicography Philosophical logic Semantics Philosophy of language Stipulative definition Persuasive definition Dictionary Vocabulary Meaning Formal language Theory
63	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const
64	Course Guide PHIL10137: Formal Semantics for PhilosophersCourse Organiser: Dr Anders Schoubye () Office Location: Dugald Stewart Building room 4.05 Add to Reading List Source URL: www.philosophy.ed.ac.uk Language: English - Date: 2015-12-10 04:41:42 Semantics Donkey sentence Formal semantics Semantics of logic Intension Anaphora Logic David Kaplan Discourse representation theory
65	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
66	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
67	Chapter 8 A general theory of singularities: Preliminaries I turn now to a general theory of singularities. This chapter covers some preliminary matters, and the formal theory is presented in the next chapter. Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 15:30:59 Philosophical logic Semantics Theories of truth Philosophy of language Meaning Truth Predicate
68	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
69	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
70	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics

UPDATE